A theoretical investigation into quantitative modal logic
نویسنده
چکیده
Quantitative modal logic (QML) is a multi-modal formulation of possibilistic reasoning with the capacity of representing and reasoning about higher order uncertainty. In this paper, some results about QML and possibility theory are investigated. First, the concept of filtration in classical modal logic is introduced into QML and the fundamental filtration theorem is proved. Second, as a corollary, the finite model property of QML is provided. Finally, the theoretical and practical implications of finite model property are discussed.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملA proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things,...
متن کاملTractable Transformations from Modal Provability Logics into First-Order Logic
We deene a class of modal logics LF by uniformly extending a class of modal logics L. Each logic L is characterised by a class of rst-order deenable frames, but the corresponding logic LF is sometimes characterised by classes of modal frames that are not rst-order deenable. The class LF includes provability logics with deep arithmeti-cal interpretations. Using Belnap's proof-theoretical framewo...
متن کاملPurity through Unravelling
We divide attempts to give the structural proof theory of modal logics into two kinds, those pure formulationswhose inference rules characterise modality completely by means of manipulations of boxes and diamonds, and those labelled formulations that leverage the use of labels in giving inference rules. The widespread adoption of labelled formulations is driven by their ability to model feature...
متن کاملEmbedding Coalition Logic in the Minimal Normal Multi-Modal Logic with Intersection
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, modal logics is a well understood theoretical foundation and the availability of tools for automated verification and reasoning. The target logic is multi-modal K with intersection of modalities, interpreted over standard Kripke models corresponding to game structures...
متن کامل